1. Automated Technology for Verification and Analysis
Author: / Supratik Chakraborty, Madhavan Mukund
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
2. Automated technology for verification and analysis
Author: Supratik Chakraborty, Madhavan Mukund (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses,Automatic theorem proving, Congresses
Classification :
QA76
.
9
.
A96
A88
2012eb
